Weitl, Franz: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Towards the automated verification of semi-structured documents

Franz Weitl, Mirjana Jakšić, Burkhard Freitag

Journal:

Data & Knowledge Engineering

Year:

2009

Language:

english

File:

PDF, 686 KB

english, 2009

2

Verifying the consistency of web-based technical documentations

Christian Schönberg, Franz Weitl, Burkhard Freitag

Journal:

Journal of Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 793 KB

english, 2011

3

Checking Content Consistency of Integrated Web Documents

Franz Weitl, Burkhard Freitag

Journal:

Journal of Computer Science and Technology

Year:

2006

File:

PDF, 513 KB

2006

4

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Structured Counterexamples for the Temporal Description Logic ALCCTL

Weitl, Franz, Nakajima, Shin, Freitag, Burkhard

Year:

2010

Language:

english

File:

PDF, 359 KB

english, 2010

5

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Software model checking for distributed systems with selector-based, non-blocking communication

Artho, Cyrille, Hagiya, Masami, Potter, Richard, Tanabe, Yoshinori, Weitl, Franz, Yamamoto, Mitsuharu

Year:

2013

Language:

english

File:

PDF, 253 KB

english, 2013

6

[IEEE 2014 Second International Symposium on Computing and Networking (CANDAR) - Shizuoka, Japan (2014.12.10-2014.12.12)] 2014 Second International Symposium on Computing and Networking - Software Model Checking of UDP-based Distributed Applications

Sebih, Nazim, Weitl, Franz, Artho, Cyrille, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu

Year:

2014

Language:

english

File:

PDF, 375 KB

english, 2014

7

From Counterexamples to Incremental Interactive Tracing of Errors

Weitl, Franz, Nakajima, Shin, Freitag, Burkhard

Journal:

it - Information Technology

Year:

2010

Language:

english

File:

PDF, 159 KB

english, 2010

8

[ACM Press the 9th ACM symposium - Munich, Germany (2009.09.16-2009.09.18)] Proceedings of the 9th ACM symposium on Document engineering - DocEng '09 - Logic-based verification of technical documentation

Schönberg, Christian, Weitl, Franz, Jakšić, Mirjana, Freitag, Burkhard

Year:

2009

Language:

english

File:

PDF, 381 KB

english, 2009

9

[IEEE 2014 Second International Symposium on Computing and Networking (CANDAR) - Shizuoka, Japan (2014.12.10-2014.12.12)] 2014 Second International Symposium on Computing and Networking - Using Checkpointing and Virtualization for Fault Injection

Artho, Cyrille, Hagiya, Masami, Leungwattanakit, Watcharin, Platon, Eric, Potter, Richard, Suzaki, Kuniyasu, Tanabe, Yoshinori, Weitl, Franz, Yamamoto, Mitsuharu

Year:

2014

Language:

english

File:

PDF, 169 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски